Calling Names on Nameless Networks
نویسندگان
چکیده
منابع مشابه
Spanning Tree Construction for Nameless Networks
Ivan LAVALL EE Christian LAVAULT INRIA, Domaine de Voluceau, Rocquencourt, B.P. 105, 78153 Le Chesnay Cedex. France. E mail : [email protected] Abstract Two types of distributed fully asynchronous probabilistic algorithms are given in the present paper which elect a leader and nd a spanning tree in arbitrary anonymous networks of processes. Our algorithms are simpler than in [11] and slight...
متن کاملThe Nameless
A personal survey of the abortion problem in Britain, based on articles in The Observer. Paul Ferris sets out the present situation clearly for the layman and gives case-histories which are often moving. He makes it clear that the existing law is archaic and socially unjust. Abortion is very much a mental health problem and psychiatrists have recently been used as a scapegoat, because society w...
متن کاملLocally Nameless Sigma Calculus
We present a Theory of Objects based on the original functional ςcalculus by Abadi and Cardelli [1] but with an additional parameter to methods. We prove confluence of the operational semantics following the outline of Nipkow’s proof of confluence for the λ-calculus reusing his general Commutation.thy [4] a generic diamond lemma reduction. We furthermore formalize a simple type system for our ς...
متن کاملLocally Nameless Permutation Types
We define “Locally Nameless Permutation Types”, which fuse permutation types as used in Nominal Isabelle with the locally nameless representation. We show that this combination is particularly useful when formalizing programming languages where bound names may become free during execution (“extrusion”), common in process calculi. It inherits the generic definition of permutations and support, a...
متن کاملCommunication cliques in mobile phone calling networks
People in modern societies form different social networks through numerous means of communication. These communication networks reflect different aspects of human’s societal structure. The billing records of calls among mobile phone users enable us to construct a directed calling network (DCN) and its Bonferroni network (SVDCN) in which the preferential communications are statistically validate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1994
ISSN: 0890-5401
DOI: 10.1006/inco.1994.1065